Ví dụ Lớp (lý thuyết tập hợp)

Họ toàn bộ các vật thể mang một cấu trúc đại số nhất định thường là một lớp đích thực. Ví dụ lớp tất cả các nhóm, lớp tất cả các không gian vectơ,.... Trong lý thuyết phạm trù, một phạm trù có họ các đối tượng tạo thành một lớp đích thực (hoặc họ các cấu xạ tạo thành một lớp đích thực) được gọi là một phạm trù lớn.

Trong lý thuyết tập hợp, nhiều họ các tập hợp hóa ra lại là các lớp đích thực. Ví dụ như lớp tất cả các tập hợp, lớp tất cả các số thứ tự và lớp tất cả các số đếm (lực lượng).

Một cách để chứng minh rằng một lớp là đích thực là tìm một song ánh giữa nó với lớp tất cả các số thứ tự.